Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
341	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title Climate Studies using the Community Earth System Model at DOE’s NERSC center Vertical (area) Research: Climate Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-26 17:57:35 Computational science Global warming Formal sciences Climate forcing Global climate model National Energy Research Scientific Computing Center Climate model Coupled model intercomparison project Big data Atmospheric sciences Science Meteorology
342	A Type System for Expressive Security Policies∗ David Walker Cornell University Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-07 14:58:01 Logic Mathematics Semantics Models of computation Formal languages First-order logic Type safety Predicate Functional predicate Automata theory Model theory Mathematical logic
343	Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2012-09-22 22:22:15 Theoretical computer science Automated theorem proving Concolic testing Symbolic execution KeY Parallel computing X86 Type system Algorithm Data types Formal methods Computing
344	` House of Commons Committee of Public Accounts Formal Minutes Add to Reading List Source URL: www.parliament.uk Language: English - Date: 2015-03-13 11:49:04 Guto Bebb Comptroller and Auditor General Parliament of Singapore Politics of the United Kingdom Government of the United Kingdom Public Accounts Committee Westminster system Parliament of the United Kingdom
345	QES Management System Issue Date: [removed]Intention to proceed to a Development Deed This form is to be lodged with City West Water if the formal Development Deed is unable to be executed by all parties within 3 month Add to Reading List Source URL: www.citywestwater.com.au Language: English - Date: 2014-09-21 22:57:39 Deed Credit card Email Fee Visa Inc. Business Internet Computing Real property law Legal documents Credit cards
346	“Despite dramatic improvement in past decades, significant challenges remain in building a more inclusive formal financial system that can spur economic growth, reduce poverty levels and generate significant social i Add to Reading List Source URL: www.zero.no Language: English - Date: 2014-11-18 06:48:29 Mobile telecommunications Mobile phone New media Telephony Videotelephony Prepaid mobile phone Technology Electronic engineering Electronics
347	NOAA Technical Memorandum NMFS This TM series is used for documentation and timely communication of preliminary results, interim reports, or special purpose information. The Tms have not received complete formal review, Add to Reading List Source URL: www.pfeg.noaa.gov Language: English - Date: 2013-08-15 17:00:42 Fishing Fisheries management Sustainable fishery Vessel monitoring system National Oceanic and Atmospheric Administration CalCOFI National Oceanographic Data Center Argo National Marine Fisheries Service Fisheries science Oceanography Environment
348	Proceedings of the Second ICSU/UNESCO International Conference on Electronic Publishing in Science held in association with CODATA, IFLA and ICSTI at UNESCO House, Paris 20–23 February 2001 Add to Reading List Source URL: eos.wdcb.ru Language: English - Date: 2002-07-18 09:07:48 Information Data analysis Formal sciences Database theory Data mining Database Scientific literature Geographic information system Open science data Database management systems Science Data management
349	Towards a Fully Verified File System Sidney Amani, Leonid Ryzhyk, Toby Murray Proving the functional correctness of a realistic file system implementation Motivation Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:43 Decomposition Software design Formal specification Technology Correctness Specification Verification Formal verification Formal methods Theoretical computer science Applied mathematics
350	OPEN Citation: Cell Death and Disease[removed], e594; doi:[removed]cddis[removed] & 2013 Macmillan Publishers Limited All rights reserved[removed]www.nature.com/cddis Add to Reading List Source URL: www.nature.com Language: English - Date: 2013-04-18 09:57:50 Programmed cell death Signal transduction Cell biology Fas ligand Mesenchymal stem cell Apoptosis Tumor necrosis factors Fas receptor Formal Approaches to Slavic Linguistics Biology Immune system Stem cells

UPDATE